home *** CD-ROM | disk | FTP | other *** search
/ Usenet 1993 July / InfoMagic USENET CD-ROM July 1993.ISO / answers / ai-faq / part4 < prev    next >
Encoding:
Text File  |  1993-06-13  |  63.0 KB  |  1,324 lines

  1. Newsgroups: comp.ai,news.answers,comp.answers
  2. Path: senator-bedfellow.mit.edu!enterpoop.mit.edu!gatech!howland.reston.ans.net!noc.near.net!das-news.harvard.edu!cantaloupe.srv.cs.cmu.edu!crabapple.srv.cs.cmu.edu!mkant
  3. From: mkant+@cs.cmu.edu (Mark Kantrowitz)
  4. Subject: FAQ: Artificial Intelligence FTP Resources 4/6 [Monthly posting]
  5. Message-ID: <ai-faq-4.text_739954928@cs.cmu.edu>
  6. Followup-To: poster
  7. Summary: FTP Resources for AI
  8. Sender: news@cs.cmu.edu (Usenet News System)
  9. Supersedes: <ai-faq-4.text_737277844@cs.cmu.edu>
  10. Nntp-Posting-Host: a.gp.cs.cmu.edu
  11. Reply-To: mkant+ai-faq@cs.cmu.edu
  12. Organization: School of Computer Science, Carnegie Mellon University
  13. Date: Sun, 13 Jun 1993 07:02:19 GMT
  14. Approved: news-answers-request@MIT.Edu
  15. Expires: Sun, 25 Jul 1993 07:02:08 GMT
  16. Lines: 1305
  17. Xref: senator-bedfellow.mit.edu comp.ai:17388 news.answers:9340 comp.answers:975
  18.  
  19. Archive-name: ai-faq/part4
  20. Last-Modified: Thu Jun 10 14:13:43 1993 by Mark Kantrowitz
  21. Version: 1.7
  22.  
  23. ;;; ****************************************************************
  24. ;;; Answers to Questions about Artificial Intelligence *************
  25. ;;; ****************************************************************
  26. ;;; Written by Mark Kantrowitz
  27. ;;; ai-faq-4.text -- 63989 bytes
  28.  
  29. If you think of questions that are appropriate for this FAQ, or would
  30. like to improve an answer, please send email to mkant+ai-faq@cs.cmu.edu.
  31.  
  32. Please note that the FTP Resources are now split across parts 4 and 5
  33. of the AI FAQ.
  34.  
  35. Part 4 (FTP Resources):
  36.   [4-0]     General Information about FTP Resources for AI
  37.   [4-1]     FTP Repositories
  38.   [4-2]     FTP and Other Resources
  39.  
  40. Search for [#] to get to question number # quickly.
  41.  
  42. ----------------------------------------------------------------
  43. Subject: [4-0]    General Information about FTP Resources for AI
  44.  
  45. Remember, when ftping compressed or compacted files (.Z, .z, .arc, .fit,
  46. etc.) to use binary mode for retrieving the files.
  47.  
  48. Files that end with a .z suffix were compressed with the patent-free
  49. gzip (no relation to zip). Source for gzip is available from:
  50.    prep.ai.mit.edu:pub/gnu/{gzip-1.0.7.shar,gzip-1.0.7.tar}
  51.  
  52. If you do not have ftp access, you can FTP files by E-mail. Send a
  53. message with the word "help" in the body to ftpmail@decwrl.dec.com.
  54.  
  55. In general, see the Lisp FAQ for Lisp-related software and the Prolog
  56. Resource Guide and the Prolog FAQ for Prolog-related software. If a
  57. Lisp-based or Prolog-based system is listed here, only the ftp site
  58. and directory will be listed; for a more detailed description, see the
  59. Lisp FAQ and the Prolog Resource Guide. For information on obtaining
  60. the Lisp FAQ or the Prolog Resource Guide see [1-0].
  61.  
  62. When referring to software, "alpha" indicates an internal early
  63. release, "beta" indicates an external early release, and "omega"
  64. indicates an external "finished" release. Generally an "alpha" release
  65. means the creator hasn't yet tested for bugs.
  66.  
  67. ----------------------------------------------------------------
  68. Subject: [4-1]    FTP Repositories
  69.  
  70. Ada Repository:
  71.  
  72.    The Ada Repository on wsmr-simtel20.army.mil (mailing list
  73.    ada-sw@wsmr-simtel20.army.mil) contains a directory of AI programs in
  74.    PD2:<ADA.AI>*.*. A somewhat easier to access copy of the archives is
  75.    available as wuarchive.wustl.edu:/mirrors/ada/ai.
  76.  
  77. UCLA Artificial Life Depository:
  78.  
  79.    ftp.cognet.ucla.edu:~ftp/pub/alife [128.97.50.19]
  80.  
  81.    Repository of papers, articles, tech reports, software and other items of
  82.    interest to Artificial Life researchers. It includes an archive of
  83.    past postings to the alife mailing list, alife@cognet.ucla.edu (send
  84.    mail to alife-request@cognet.ucla.edu to be added to the list).
  85.  
  86.    (Other artificial life information is available from santafe.edu
  87.     or ftp.santafe.edu [192.12.12.1] in the directory
  88.     pub/Artificial-Life-III.) 
  89.  
  90. Consortium for Lexical Research:
  91.    clr.nmsu.edu [128.123.1.12]
  92.    equivalently, lexical.nmsu.edu [128.123.1.12]
  93.  
  94.    Archive containing a variety of programs and data files related to
  95.    natural language processing research, with a particular focus on
  96.    lexical research. See the file catalog-short for a quick listing of
  97.    the contents of the archive. Long descriptions are in the info/
  98.    subdirectory. Publicly available materials are in the pub/
  99.    subdirectory (see pub/catalog). Materials for paid-up members of the
  100.    Consortium are in the members-only/ subdirectory.  Public materials
  101.    include the Alvey Natural Language Tools, Sowa's Conceptual Graph
  102.    parser implemented in YACC by Maurice Pagnucco, a morphological
  103.    parsing lexicon of English, a phonological rule compiler for PC-KIMMO,
  104.    C source code for the NIST SGML parser, PC-KIMMO sources, the 1911
  105.    Roget Thesaurus, and a variety of word lists (including English,
  106.    Dutch, and male/female/last names).    Comments and questions may be
  107.    directed to lexical@nmsu.edu.
  108.  
  109. FJ Repository:
  110.  
  111.    The FJ Repository contains freeware from Japan (FJ = "From Japan"). 
  112.    The fj.sources subdirectory is a good place to look for free
  113.    software from Japan. Some files in the repository may contain
  114.    Kana and Kanji characters. The repository is available by
  115.    anonymous ftp from 
  116.       utsun.s.u-tokyo.ac.jp:fj/fj.sources [133.11.11.11]
  117.    The file Index contains an index of all the files in each volume.
  118.    Files of particular interest include:
  119.       v07/786:    Portable Prolog for Common Lisp
  120.       v25/2577: General-Purpose Fuzzy Inference Library Ver. 3.0 (1/1)
  121.  
  122. Fuzzy Logic Repositories:
  123.  
  124.    ntia.its.bldrdoc.gov:pub/fuzzy [132.163.64.201] contains information
  125.    concerning fuzzy logic, including bibliographies (bib/), product 
  126.    descriptions and demo versions (com/), machine readable published
  127.    papers (lit/), miscellaneous information, documents and reports (txt/), 
  128.    and programs, code and compilers (prog/). You may download new items 
  129.    into the new/ subdirectory. If you deposit anything in new/, please 
  130.    inform fuzzy@its.bldrdoc.gov. The repository is maintained by 
  131.    Timothy Butler, tim@its.bldrdoc.gov. The Fuzzy Logic Repository is also 
  132.    accessible through a mail server, rnalib@its.bldrdoc.gov. For help on 
  133.    using the server, send mail to the server with the following line in 
  134.    the body of the message:
  135.      @@ help
  136.    Other commands available include index, list, find, send, and credits.
  137.  
  138.    Ostfold Regional College in Norway recently started a ftp site
  139.    for material related to fuzzy logic, ftp.dhhalden.no:fuzzy/ 
  140.    [158.36.33.11]. Material to be included in the archive (e.g., 
  141.    papers and code) may be placed in the upload/ directory. Now holds the 
  142.    files from Togai's mail-server, and other files from Timothy Butler's 
  143.    site ntia.its.bldrdoc.gov. It also includes some demo programs. Send
  144.    email to Asgeir Osterhus, <asgeiro@dhhalden.no>.
  145.  
  146.    Togai InfraLogic, Inc. (TIL) also runs a fuzzy logic email server
  147.    which contains demo versions of some of their software, fuzzy logic
  148.    bibliographies, conference announcements, a short introduction to
  149.    fuzzy logic, copies of the company newsletter, archives of
  150.    comp.ai.fuzzy, and so on. See the entry in the answer to question
  151.    [1-8] for more information on the company. To get started with the
  152.    fuzzy logic email server, send a message with NO SUBJECT LINE to
  153.    fuzzy-server@til.com, containing just the word "help" in the message
  154.    body.  The server will reply with a set of instructions.    Please
  155.    address any comments, questions or requests to either erik@til.com or
  156.    tanaka@til.com. Most of the contents of the TIL server is mirrored at
  157.    Tim Butler's fuzzy logic ftp repository at ntia.its.bldrdoc.gov and at
  158.    Ostfold ftp repository at ftp.dhhalden.no.  For more information,
  159.    write to Togai InfraLogic, Inc., 5 Vanderbilt, Irvine, CA 92718 or
  160.    call 714-975-8522.
  161.  
  162.    The Aptronix FuzzyNet files are available through an email
  163.    server. Send email to fuzzynet@aptronix.com with "help"
  164.    in the message body to get instructions on how to retrieve files.
  165.    "catalog" or "index" will get you a listing of available files.
  166.    (You can also connect to the FuzzyNet repository by modem to Aptronix
  167.    FuzzyNet 408-428-1883 N/8/1 1200-19,200 baud.) Files on the server
  168.    include descriptions of fuzzy logic applications (e.g., washing
  169.    machines, camera focusing, air conditioning), introductory materials,
  170.    Fide related information, archives of comp.ai.fuzzy, etc.     If you'd
  171.    like to have a file included in the FuzzyNet server (e.g., moderate
  172.    length technical reports), send email to Scott Irwin
  173.    <irwin@aptronix.com>.
  174.  
  175. Genetic Algorithms:
  176.  
  177.    The Genetic Algorithms Repository is located at ftp.aic.nrl.navy.mil. It
  178.    includes past copies of the genetic algorithms digest in /pub/galist/, a
  179.    copy of Nici Schraudolph's survey of free and commercial GA software in
  180.    /pub/galist/information/ga-software-survey.txt (send email to
  181.    <schraudo@cs.ucsd.edu> to add to the list), and some software, including
  182.    GAC (a simple GA written in C), GAL (a simple GA written in Common Lisp),
  183.    GAucsd, GECO (a Common Lisp toolbox for constructing genetic algorithms),
  184.    GENESIS, GENOCOP, Paragenesis (a parallel version of GENESIS that runs on
  185.    the CM-200), SGA-C (a C implementation/extension of Goldberg's SGA 
  186.    system).
  187.  
  188. Genetic Programming:
  189.  
  190.    The Genetic Programming Repository is located at
  191.    ftp.cc.utexas.edu:pub/genetic-programming/ [128.83.186.13]. It
  192.    contains the archives of the genetic programming mailing list
  193.    (including the GP FAQ posting), papers and source code. The source
  194.    code includes the GP implementation from Koza's book and some related
  195.    systems.
  196.  
  197. UC/Irvine (UCI) AI/Machine Learning Repository:
  198.  
  199.    ics.uci.edu has a variety of AI-related materials, with a special
  200.    focus on machine learning. The directory pub/machine-learning-databases
  201.    contains over 80 benchmark data sets for classifier systems (30mb).
  202.  
  203.    Files may also be retrieved by email using the archive server
  204.    archie-server@ics.uci.edu. Commands to the server should be given
  205.    in the message body. Some commands are:
  206.     help
  207.     send <archive> <file>
  208.     find <archive> <string>
  209.    The help command replies with a useful help message.
  210.  
  211.    Site Librarian: Patrick M. Murphy (ml-repository@ics.uci.edu)
  212.    Off-Site Assistant: David W. Aha (aha@cs.jhu.edu)
  213.  
  214. Machine Learning:
  215.  
  216.    Various programs (e.g., ID3) and publications related to machine
  217.    learning are available by anonymous ftp from the machine
  218.    learning group (under Raymond Mooney) at UT-Austin, at
  219.       cs.utexas.edu:pub/mooney.     
  220.    Subdirectories include 
  221.       ml-course information and homeworks from a graduate course
  222.              in machine learning taught by Dr. Mooney. Homeworks
  223.              include "miniatures" of various machine learning
  224.              systems written in Common Lisp.
  225.       ml-code    Common Lisp code corresponding to the assignments
  226.              for the course in the ml-course directory.
  227.       ml-progs    More "research-level" versions of inductive
  228.              classification algorithms and software for automated
  229.              experiments that generation learning curves that
  230.              compare several systems. 
  231.       papers        Publications producted by the machine learning
  232.              research group.
  233.  
  234. Machine Learning Algorithms Implemented in Prolog:
  235.  
  236.    In 1988 the Special Interest Group on Machine Learning of the German
  237.    Society for Computer Science (GI e.V.) decided to establish a library
  238.    of PROLOG implementations of Machine Learning algorithms. The library
  239.    includes - amongst others - PROLOG implementations of Winston's arch, 
  240.    Becker's AQ-PROLOG, Fisher's COBWEB, Brazdil's generation of 
  241.    discriminations from derivation trees, Quinlan's ID3, inverse 
  242.    resolution, and Mitchell's version spaces algorithm. The programs are 
  243.    currently available via anonymous ftp-server from the GMD:
  244.  
  245.     ftp.gmd.de:/gmd/mlt/ML-Program-Library [129.26.8.90]
  246.  
  247.    Send additional PROLOG implementations of Machine Learning
  248.    Algorithms, complaints about them and detected bugs or problems
  249.    to Thomas Hoppe, <hoppet@cs.tu-berlin.de>. Send suggestions and
  250.    complaints about the ftp library to Werner Emde, Gesellschaft
  251.    fuer Mathematik und Datenverarbeitung, Bonn, <emde@gmdzi.gmd.de>. 
  252.  
  253. CMU Simulator Collection:
  254.  
  255.    The CMU Simulator Collection is available by anonymous ftp from 
  256.    ftp.cs.cmu.edu [128.2.206.173] in the directory
  257.       /afs/cs.cmu.edu/project/connect/code/
  258.    The collection includes Lisp and C implementations of Scott
  259.    Fahlman's Cascade Correlation algorithm, Scott Fahlman's
  260.    Quickprop variation on the back-propagation algorithm, and Scott
  261.    Fahlman's Recurrent Cascade-Correlation simulator. The collection also
  262.    includes Aspririn/Migraines and Tesauro. The neural network benchmark
  263.    collection is available in 
  264.       /afs/cs.cmu.edu/project/connect/bench/
  265.    The data sets include the NETtalk data, a vowel recognition
  266.    task, and several others.
  267.    The archives of the connectionists mailing list are kept in
  268.       /afs/cs.cmu.edu/project/connect/connect-archives/
  269.    along with a Lisp implementation of a backprop simulator. 
  270.  
  271. Funic Neural FTP Archive Site:
  272.  
  273.    The Finnish University maintains an archive site containing a large
  274.    collection of neural network papers and public domain software
  275.    gathered from FTP sites in the US. The files are available by
  276.    anonymous ftp from funic.funet.fi:/pub/sci/neural [128.214.6.100].
  277.    (Also know as ftp.funet.fi, nic.funet.fi.)  See the file 01README for
  278.    details. A list of mirrored ftp sites is in 04Neural_FTP_Sites.  For
  279.    further information, contact neural-adm@funic.funet.fi or Marko
  280.    Gronroos <magi@funic.funet.fi> (or <magi@utu.fi>).
  281.  
  282. OSU Neuroprose:
  283.    archive.cis.ohio-state.edu:/pub/neuroprose    [128.146.8.52]
  284.  
  285.    This directory contains technical reports as a public service to the
  286.    connectionist and neural network scientific community which has an
  287.    organized mailing list (for info: connectionists-request@cs.cmu.edu)
  288.  
  289. UKaiserslautern Neural/Fuzzy Repository:
  290.  
  291.    The University of Kaiserslautern has set up a ftp server for reports
  292.    and software related to its neural networks and fuzzy logic projects,
  293.    including the MOBOT, SPIN, and ALBATROSS projects.  Programs currently
  294.    available include Joerg Bruske's neural fuzzy decision system
  295.    SPIN-NFDS and Herman Keuchel's unsupervised clustering system.  Most
  296.    of the ready-to-run programs were written for the Apple Macintosh.
  297.    Sources for the "kernel" of the programs are available by ftp, written
  298.    in Pascal.  The user-interface code is also available upon request.
  299.    Some of the documentation is in German.  The papers and software are
  300.    available from ag_vp_file_server.informatik.uni-kl.de in the
  301.    directories Neural_Networks/Reports/ and Neural_Networks/Software/.
  302.    Some papers and software are also available from ftp.uni-kl.de in the
  303.    directory reports_uni-kl/computer_science/mobile_robots/.  For further
  304.    information, contact Uwe R. Zimmer <uzimmer@informatik.uni-kl.de>.
  305.  
  306. NL Software Registry:
  307.  
  308.    The Natural Language Software Registry is a catalogue of software
  309.    implementing core natural language processing techniques, whether
  310.    available on a commercial or noncommercial basis. Some of the topics
  311.    listed include speech signal processing, morphological analysis,
  312.    parsers, and knowledge representation systems. The catalogue is
  313.    available from the German Research Institute for Artificial
  314.    Intelligence (DFKI) in Saarbruecken (Germany) by anonymous ftp to
  315.    ftp.dfki.uni-sb.de:registry/, email to registry@dfki.uni-sb.de, or
  316.    physical mail to NL Software Registry, Deutsches Forschungszentrum
  317.    fuer Kuenstliche Intelligenz, Stuhlsatzenhausweg 3, D-W-6600
  318.    Saarbruecken, Germany, or by telephone to +49 (681) 303-5282.
  319.  
  320. Miscellaneous AI:
  321.  
  322.    Some miscellaneous AI programs may be found on ftp.uu.net:/pub/ai
  323.    Most are mirrors of programs available at other sites.
  324.  
  325.    AI_ATTIC is an anonymous ftp collection of classic AI programs and
  326.    other information maintained by the University of Texas at Austin.  It
  327.    includes Parry, Adventure, Shrdlu, Doctor, Eliza, Animals, Trek, Zork,
  328.    Babbler, Jive, and some AI-related programming languages.     This
  329.    archive is available by anonymous ftp from ftp.cc.utexas.edu
  330.    (bongo.cc.utexas.edu, 128.83.186.13) in the directory /pub/AI_ATTIC.
  331.    For more information, contact atticmaster@bongo.cc.utexas.edu.
  332.  
  333. ----------------------------------------------------------------
  334. Subject: [4-2]    FTP and Other Resources
  335.  
  336. In addition to programs available free by anonymous ftp, we've
  337. included some programs which are available by contacting the authors,
  338. and some programs which charge a nominal fee.
  339.  
  340. Agent Modelling:
  341.  
  342.    ANIMALS is a simulation system written by Toby Tyrrell,
  343.    <toby@castle.ed.ac.uk>, for his PhD thesis.    The thesis examines the
  344.    problem of action selection when dealing with realistic, animal-like
  345.    situations: how to choose, at each moment in time, the most
  346.    appropriate out of a repertoire of possible actions.     It includes a
  347.    description is given of a simulated environment which is an extensive
  348.    and detailed simulation of the problem of action selection for
  349.    animals.  This simulated environment is used to investigate the
  350.    adequacy of several theories of action selection (from both ethology
  351.    and artificial intelligence) such as the drive model, Lorenz's
  352.    psycho-hydraulic model and Maes' spreading activation network, and
  353.    outlines deficiencies in each mechanism. Finally, it proposes a new
  354.    approach to action selection is developed which determines the most
  355.    appropriate action in a principled way, and which does not suffer from
  356.    the inherent shortcomings found in other methods. The thesis includes
  357.    a review and bibliography of existing work on action selection. The
  358.    thesis is available by anonymous ftp from ftp.ed.ac.uk:pub/lrtt/
  359.    [129.215.146.5] as the files as.1.ps.Z, as.2.ps.Z, ..., and as.7.ps.Z.
  360.    The simulation software is also available from the same site, as the
  361.    file se.tar.Z. The simulation software was written in Suntools rather
  362.    than Xtools.     It can be run only from SunView or OpenWindows.  The
  363.    action selection problem modelled by the simulated environment
  364.    comprises 15 different `sub-problems' (getting food, reproducing, not
  365.    getting lost, being vigilant for predators, etc), many internal and
  366.    external stimuli, and 35 different low-level actions to select
  367.    between.
  368.  
  369.    ViewGen (Viewpoint Generator) is a Prolog program that implements a
  370.    "Belief Ascription Algorithm" as described in Ballim and Wilks (see the
  371.    bibliography section on User Modelling).  This can be seen as a form of
  372.    agent modelling tool, which allows for the generation of arbitrarily deep
  373.    nested belief spaces based on the system's own beliefs, and on beliefs 
  374.    that are typically held by groups of agents.     ViewGen is available by
  375.    anonymous ftp from 
  376.       crl.nmsu.edu:pub/ViewFinder         [128.123.1.18] (user anonymous)
  377.       ftp.ims.uni-stuttgart.de:pub/ballim    [141.58.127.8] (user ftp)
  378.    as the file ViewGen.tar.Z. The theory of belief ascription upon which
  379.    it is based is described in detail in Ballim and Wilks, and a general
  380.    framework for attributing and maintaining nested propositional
  381.    attitudes is described in Afzal Ballim's dissertation which is
  382.    archived with the Viewgen program (in the files 
  383.       ViewFinder-{A4/A5/US}.tar.Z, 
  384.    the variable part indicating the format of the PostScript file).
  385.    The inheritance reasoner is in the file vf-hetis.tar.Z.
  386.    Implemented in Sicstus prolog, and hence easily convertible to
  387.    any Edinburgh-style prolog. Contact Afzal Ballim <afzal@divsun.unige.ch>
  388.    for more information. 
  389.  
  390. Analogical Reasoning:
  391.  
  392.    SME        -- multivac.ils.nwu.edu:pub/SME
  393.            Contact: Brian Falkenhainer <falkenhainer@parc.xerox.com>
  394.             Ken Forbus <forbus@ils.nwu.edu>
  395.            the Structure-Mapping Engine, as described in Falkenhainer,
  396.            Forbus, and Gentner's 1987 AIJ article.    
  397.  
  398. Artificial Life:
  399.  
  400.    Tierra is an artificial life system for studying the evolution of digital
  401.    organisms. Tierra runs in Unix and MS-DOS. Source code and documentation
  402.    is available by anonymous ftp at tierra.slhs.udel.edu (128.175.41.34) and
  403.    life.slhs.udel.edu (128.175.41.33) in the directories almond/, beagle/,
  404.    doc/, and tierra/.  To be added to either the tierra-announce (official
  405.    announcements only) or tierra-digest (moderated discussion plus
  406.    announcements) mailing lists, send mail to
  407.    tierra-request@life.slhs.udel.edu. Send bug reports to
  408.    tierra-bug@life.slhs.udel.edu.
  409.  
  410. Blackboard Architectures:
  411.  
  412.    GBB (PD Version) -- dime.cs.umass.edu:/gbb
  413.  
  414.    GEST      -- Contact: Susan Coryell <scoryell@gtri01.gatech.edu>
  415.          Blackboard system. Runs on Symbolics and SUN.
  416.          Georgia Tech's Generic Expert System Tool (GEST)
  417.          Available to academic institutions for classroom use.
  418.  
  419. Case-based Reasoning:
  420.  
  421.    CL-Protos   -- cs.utexas.edu:/pub/porter
  422.           Contact: Dan Dvorak <dvorak@cs.utexas.edu>
  423.                Ray Bareiss <bareiss@ils.nwu.edu>
  424.                Erik Eilerts <eilerts@cs.utexas.edu>
  425.                Bruce W. Porter <porter@cs.utexas.edu>
  426.  
  427.    MICRO-xxx  -- cs.umd.edu:/pub/schank/icbr
  428.          Contact: waander@cs.umd.edu
  429.          The directory pub/schank/icbr contains the complete
  430.          code for "Inside Case-Based Reasoning" by
  431.          Riesbeck and Schank, 1989. This includes code
  432.          for an instructional version of CHEF by Kristian Hammond.
  433.  
  434. Chess:
  435.  
  436.    The SAN Kit chess programming C source toolkit provides common routines
  437.    for move notation I/O, move generation, move execution, etc. Only search
  438.    routines and an evaluation function need be added to obtain a working
  439.    chess program. It runs on Apple Macintosh (Think C 5.0),
  440.    Commodore Amiga (SAS C), MS-DOS, and Unix. It is available by
  441.    anonymous ftp from valkyries.andrew.cmu.edu [128.2.232.4] in the
  442.    directory pub/chess/misc as the compressed tar file SAN.tar.Z.
  443.    Also at this site is the SCP package, a restructured ANSI C port of
  444.    the 1987 Stanback Chess Program.
  445.    Contact Steven J. Edwards, sje@xylos.ma30.bull.com for more information.
  446.  
  447. Constraint Programming and Non-determinism:
  448.  
  449.    SCREAMER:
  450.  
  451.    Screamer is an extension of Common Lisp that adds support for
  452.    nondeterministic programming.  Screamer consists of two levels.  The
  453.    basic nondeterministic level adds support for backtracking and
  454.    undoable side effects.  On top of this nondeterministic substrate,
  455.    Screamer provides a comprehensive constraint programming language in
  456.    which one can formulate and solve mixed systems of numeric and
  457.    symbolic constraints.  Together, these two levels augment Common Lisp
  458.    with practically all of the functionality of both Prolog and
  459.    constraint logic programming languages such as CHiP and CLP(R).
  460.    Furthermore, Screamer is fully integrated with Common Lisp. Screamer
  461.    programs can coexist and interoperate with other extensions to Common
  462.    Lisp such as CLOS, CLIM and Iterate.
  463.  
  464.    In several ways Screamer is more efficient than other implementations
  465.    of backtracking languages.  First, Screamer code is transformed into
  466.    Common Lisp which can be compiled by the underlying Common Lisp
  467.    system.  Many competing implementations of nondeterministic Lisp are
  468.    interpreters and thus are far less efficient than Screamer.    Second,
  469.    the backtracking primitives require fairly low overhead in Screamer.
  470.    Finally, this overhead to support backtracking is only paid for those
  471.    portions of the program which use the backtracking primitives.
  472.    Deterministic portions of user programs pass through the Screamer to
  473.    Common Lisp transformation unchanged.  Since in practise, only small
  474.    portions of typical programs utilize the backtracking primitives,
  475.    Screamer can produce more efficient code than compilers for languages
  476.    in which backtracking is more pervasive.
  477.  
  478.    Screamer is fairly portable across most Common Lisp implementations.
  479.    It currently runs under Genera 8.1.1 and 8.3 on both Symbolics 36xx
  480.    and Ivory machines, under Lucid 4.0.2 and 4.1 on Sun SPARC machines,
  481.    under MCL 2.0 and 2.0p2 on Apple Macintosh machines, and under Poplog
  482.    Common Lisp on Sun SPARC machines.  It should run under any
  483.    implementation of Common Lisp which is compliant with CLtL2 and with
  484.    minor revision could be made to run under implementations compliant
  485.    with CLtL1 or dpANS.
  486.  
  487.    Screamer is available by anonymous FTP from ftp.ai.mit.edu as the file
  488.    /pub/screamer.tar.Z. Contact Jeffrey Mark Siskind <qobi@ai.mit.edu> for 
  489.    further information.
  490.  
  491. Eliza and Similar Programs:
  492.  
  493.    The software from Peter Norvig's book "Paradigms of AI Programming" is
  494.    available by anonymous ftp from unix.sri.com:pub/norvig and on disk in
  495.    Macintosh or DOS format from the publisher, Morgan Kaufmann. The
  496.    software includes Common Lisp implementations of: Eliza and pattern
  497.    matchers, Emycin, Othello, Parsers, Scheme interpreters and compilers,
  498.    Unification and a prolog interpreter and compiler, Waltz
  499.    line-labelling, implementation of GPS, macsyma, and random number
  500.    generators.    For more information, write to Morgan Kaufmann, Dept. P1,
  501.    2929 Campus Drive, Suite 260, San Mateo CA 94403, call 800-745-7323,
  502.    or fax 415-578-0672. (Mac ISBN 1-55860-227-5; DOS 3.5" ISBN
  503.    1-55860-228-3; or DOS 5.25" ISBN 1-55860-229-1).
  504.  
  505.    The doctor.el is an implementation of Eliza for GNU-Emacs
  506.    emacs-lisp. Invoke it with "Meta-X doctor".
  507.  
  508.    Source code for ELIZA in Prolog (implemented by Viren
  509.    Patel) is available by ftp from aisun1.ai.uga.edu.
  510.  
  511.    muLISP-87 (a MSDOS Lisp sold by Soft Warehouse) includes
  512.    a Lisp implementation of Eliza.
  513.  
  514.    Compute!'s Gazette, June 1984, includes source for a BASIC
  515.    implementation of Eliza. You can also find it in 101 more computer
  516.    games, edited by David Ahl, published by Creative Computing (alas,
  517.    they're defunct, and the book is out of print).
  518.  
  519.    Herbert Schildt "Artificial Intelligence using C", McGraw-Hill, 1987,
  520.    ISBN 0-07-881255-0, pp315-338, includes a simple version of DOCTOR.
  521.  
  522.    ucsd.edu:pub/pc-ai contains implementations of Eliza for the IBM PC.
  523.  
  524.    The original Parry (in MLISP for a PDP-10) is available in
  525.    labrea.stanford.edu:/pub/parry.tar.Z.
  526.  
  527.    RACTER is *not* public domain. According to A.K. Dewdney's book,
  528.    "The Armchair Universe", Racter is available from John Owens,
  529.    INRAC, Inc., 12 Schubert St., Staten Island, NY 10305. It was
  530.    published in 1984, and written in compiled BASIC. To read some
  531.    of RACTER's work, see "The Policeman's Beard is Half Constructed",
  532.    Computer Prose and Poetry by Racter, Warner Books, 1984.
  533.    ISBN 0-446-38051-2 (paperback). Written by William Chamberlain and
  534.    Thomas Etter.
  535.  
  536. Expert Systems:
  537.  
  538.    FOCL      -- ics.uci.edu:pub/SaranWrap/{README,KR-FOCL-ES.cpt.hqx}
  539.          Contact: pazzani@ics.uci.edu
  540.          Expert System Shell and Machine Learning Program;
  541.          Extends Quinlan's FOIL.
  542.  
  543.    OPS5      -- ftp.cs.cmu.edu:/afs/cs/user/mkant/Public/Lisp/ops5.tar.Z
  544.  
  545.    BABYLON-- gmdzi.gmd.de:gmd/ai-research/Software/ (129.26.8.90)
  546.          (BinHexed stuffit archive of Babylon)
  547.          Development environment for expert systems.
  548.  
  549.    CLIPS is an OPS-like forward chaining production system written in ANSI C
  550.    by NASA. The CLIPS inference engine includes truth maintenance, dynamic
  551.    rule addition, and customizable conflict resolution strategies. CLIPS,
  552.    including the runtime version, is easily embeddable in other
  553.    applications. CLIPS runs on IBM PC compatibles, Macintosh, VAX 11/780,
  554.    Sun 3/260, and HP9000/500.  CLIPS is available from COSMIC at a nominal
  555.    fee for unlimited copies with no royalties.    For more information, email
  556.    service@cossack.cosmic.uga.edu, write COSMIC, University of Georgia, 382
  557.    East Broad Street, Athens, GA 30602, call 404-542-3265, or fax
  558.    404-542-4807. To subscribe to the CLIPS mailing list, send a message to
  559.    the list server listserv@cossack.cosmic.uga.edu (128.192.14.4) with
  560.    message body SUBSCRIBE CLIPS-LIST. An electronic bulletin board
  561.    containing information regarding CLIPS can be reached 24 hours a day at
  562.    713-280-3896 or 713-280-3892. Communications information is 300, 1200, or
  563.    2400 baud, no parity, 8 data bits, and 1 stop bit. The CLIPS help desk
  564.    phone number is 713-280-2233 and email address is
  565.    stbprod@krakatoa.jsc.nasa.gov. The book "Expert Systems:
  566.    Principles and Programming" by Joseph Girrantano and Garey Riley
  567.    comes with an MS-DOS CLIPS interpreter.
  568.  
  569. Frame Systems:
  570.  
  571.      FrameWork     -- ftp.cs.cmu.edu:
  572.             /afs/cs.cmu.edu/user/mkant/Public/Lisp/framework.lisp
  573.  
  574.      Theo     -- Contact: Tom.Mitchell@cs.cmu.edu
  575.  
  576.      FrameKit     -- Contact: Eric.Nyberg@cs.cmu.edu
  577.  
  578.      KR         -- Contact: Brad.Myers@cs.cmu.edu
  579.  
  580.      PARKA     -- Contact: spector@cs.umd.edu
  581.             Frames for the CM
  582.  
  583.      PARMENIDES (Frulekit) -- Contact: Peter.Shell@cs.cmu.edu 
  584.  
  585.      FROBS     -- cs.utah.edu:/pub/frobs.tar.Z
  586.             Contact: Robert Kessler <kessler@cs.utah.edu>
  587.  
  588.      PFC     -- linc.cis.upenn.edu:
  589.  
  590.      YAK     -- Contact: Enrico Franconi <franconi@irst.it>
  591.  
  592. Fuzzy Logic:
  593.  
  594.    FLIE       -- ural.ethz.ch:/robo/flie
  595.           Contact: vestli@ifr.ethz.ch
  596.           Fuzzy Logic Inference Engine, Institute of Robotics, ETH.
  597.  
  598. Game Playing:
  599.  
  600.    METAGAME is a game-playing workbench for developing and playing
  601.    metagame programs. It includes a generator for symmetric chess-like
  602.    games; definitions of chess, checkers, chinese chess, shogi, lose
  603.    chess, lose checkers, french checkers, and tic tac toe translated into
  604.    symmetric chess-like games; a legal move generator; and a variety of
  605.    player programs, from simple through sophisticated.    The METAGAME
  606.    Workbench runs in Quintus or Sictus Prolog.    Available by anonymous
  607.    ftp from ftp.cl.cam.ac.uk [128.232.0.56] in users/bdp/metagame.tar.Z.
  608.    For more information, contact Barney Pell <bdp@cl.cam.ac.uk> of the
  609.    University of Cambridge Computer Laboratory.
  610.  
  611. Genetic Algorithms:
  612.  
  613.    SCS (Simple Classifier System) is a C port of the system from
  614.    Appendix D of "Genetic Algorithms in Search, Optimization, and Machine
  615.    Learning" by David E. Goldberg. It was ported to C by Erik Mayer
  616.    <emayer@uoft02.utoledo.edu>. For more information, contact the author.
  617.  
  618.    SCS-C is another port to C of Goldberg's Simple Classifier System.
  619.    It includes some extensions, and runs on Sun 10/30 and Atari ST. SCS-C
  620.    is available via anonymous ftp as scs-c-0.98j.tar.Z from
  621.    lumpi.informatik.uni-dortmund.de:/pub/LCS/src/ [129.217.36.140].  The
  622.    documentation alone is available as scs-c-doc.tar.Z in the directory
  623.    /pub/LCS/docs/.  For more information, contact Joerg Heitkoetter
  624.    <joke@ls11.informatik.uni-dortmunde.de>, c/o Systems Analysis Group,
  625.    LSXI, Department of Computer Science, University of Dortmund, D-44221
  626.    Dortmund, Germany.
  627.  
  628.    GENITOR is available by anonymous ftp from the Colorado State
  629.    University Computer Science Department in 
  630.       beethoven.cs.colostate.edu:pub/GENITOR.tar [129.82.102.183]
  631.    For further information, contact starkwea@cs.colostate.edu or
  632.    mathiask@cs.colostate.edu. If these fail to work, contact
  633.    whitley@cs.colostate.edu.
  634.  
  635.    Other packages are described in detail in Nici Schraudolph's survey
  636.    of free and commercial GA software (see the Genetic Algorithms
  637.    Repository in [4-1]). Some of the free ones from Nici's list are
  638.    summarized below. Many are available from the GA Repository.
  639.  
  640.      GAucsd     Genetic algorithms software 
  641.          cs.ucsd.edu:/pub/GAucsd/GAucsd14.ps.Z [132.239.51.3]
  642.          Nici Schraudolph <nici@cs.ucsd.edu>
  643.          To be put on a mailing list of GAucsd users, send
  644.          the message "add GAucsd" to listserv@cs.ucsd.edu.
  645.  
  646.      GAbench     Genetic algorithms benchmarks and test problems  
  647.          cs.ucsd.edu:/pub/GAbench/
  648.          Thomas Kammeyer (tkammeye@cs.ucsd.edu)
  649.  
  650.      EM         Evolution Machine (EM)
  651.          ftp-bionik.fb10.tu-berlin.de:pub/software/Evolution-Machine/
  652.              [130.149.192.50]
  653.              em_tc.exe (EM for Turbo C)
  654.              em_tcp.exe (EM for Turbo C++)
  655.              em_man.exe (the manual)
  656.          Joachim Born <born@max.fb10.tu-berlin.de>
  657.  
  658.      Genie     GA-based modeling/forecasting system
  659.          Lance Chambers <P_Stampoul@fennel.cc.uwa.oz.au>
  660.  
  661.      GENOCOP     GEnetic algorithm for Numerical Optimization for
  662.          COnstrained Problems. Optimizes function with any
  663.          number of linear constraints (equalities and inequalities)
  664.      Genetic-2     Optimization package for the linear transportation problem.
  665.      Genetic-2N     Optimization package for the nonlinear transportation problem.
  666.          All three were developed by Zbigniew Michalewicz and are
  667.          described in detail in his book "Genetic Algorithms + Data
  668.          Structures = Evolution Programs", Springer Verlag,
  669.          August 1992.
  670.             unccsun.uncc.edu:coe/evol/ [152.15.10.88]
  671.          Zbigniew Michalewicz <zbyszek@unccvax.uncc.edu>
  672.  
  673.      WOLF     Simulator for G/SPLINES algorithm (genetic spline models)
  674.          David Rogers <drogers@riacs.edu>
  675.  
  676.      GAC, GAL     GA written in C/Lisp. Similar to John Grefenstette's Genesis.
  677.          Bill Spears <spears@aic.nrl.navy.mil>
  678.  
  679.      ESCaPaDE     Experiments with evolutionary algorithsm.
  680.          Frank Hoffmeister <iwan@ls11.informatik.uni-dortmund.de>
  681.          (Send mail with subject line "help" or "get ESCaPaDE")
  682.  
  683.      mGA1.0     Common Lisp implementation of a messy GA as described in
  684.          TCGA report 90004.
  685.      SGA-C     C-language port and extension of the original Pascal
  686.          SGA code presented in Goldberg's book "Genetic
  687.          Algorithms in Search, Optimization & Machine
  688.          Learning", Addison Wesley, 1989. See TCGA report 91002.
  689.      SGA-Cube     Goldberg's SGA code modified for nCUBE 2 hypercube
  690.          parallel computer.
  691.          All three are available by e-mail from 
  692.          Robert Elliott Smith <rob@comec4.mh.ua.edu>.
  693.  
  694.      BUGS     Demonstrates genetic algorithms.
  695.             santafe.edu:pub/misc/BUGS/
  696.          Joshua Smith <jrs@santafe.edu>
  697.  
  698.      SGPC     Simple Genetic Programming in C
  699.             sfi.santafe.edu:pub/Users/tackett/
  700.          Walter Alden Tackett and Aviram Carmi (gpc@ipld01.hac.com)
  701.  
  702.      GENEsYs     lumpi.informatik.uni-dortmund.de:pub/GA/src/ [129.217.36.140]
  703.          Use "ftp" as user name, e-mail address as password.
  704.          Thomas Baeck <baeck@ls11.informatik.uni-dortmund.de>
  705.  
  706.      GAGA     Jon Crowcroft <jon@cs.ucl.ac.uk>
  707.      Splicer     Steve Bayer <bayer@galileo.jsc.nasa.gov>
  708.      PARAGENESIS GA-Repository/e-mail Michael van Lent <vanlent@cs.utk.edu>
  709.      GENESIS     GA-Repository/e-mail John Grefenstette <gref@aic.nrl.navy.mil>
  710.      OOGA     GA-Repository/e-mail John Grefenstette <gref@aic.nrl.navy.mil>
  711.      DGENESIS     Erick Cantu <ecantu@babbage.rhon.itam.mx> or 
  712.                  <ecantu@itamvms1.bitnet>.
  713.  
  714. ICOT:
  715.  
  716.    Japan's Institute for New Generation Computer Technology (ICOT) has
  717.    made their software available to the public free of charge.    The
  718.    collection includes a variety of prolog-based programs in symbol
  719.    processing, knowledge representation, reasoning and problem solving,
  720.    natural language processing. All programs are available by anonymous
  721.    ftp from ftp.icot.or.jp.  Note that most of the programs are written
  722.    for the PSI machines, and very few have been ported to Unix-based
  723.    emulators.  For further information, send email to ifs@icot.or.jp, or
  724.    write to ICOT Free Software Desk, Institute for New Generation
  725.    Computer Technology, 21st Floor, Mita Kokusai Bldg., 4-28, Mita
  726.    1-chome, Minato-ku, Tokyo 108, Japan, fax +81-3-4456-1618.
  727.  
  728. Knowledge Representation:
  729.  
  730.    KNOWBEL -- ai.toronto.edu:/pub/kr/{knowbel.tar.Z,manual.txt.tar.Z}
  731.           Contact: Bryan M. Kramer, <kramer@ai.toronto.edu>
  732.           Telos temporal/sorted logic system.
  733.  
  734.    SB-ONE  -- Contact: kobsa@cs.uni-sb.de
  735.           KL-ONE family
  736.    KRIS       -- Contact: baader@dfki.uni-kl.de
  737.           KL-ONE family (Symbolics only)
  738.    BACK       -- Contact: back@cs.tu-berlin.de
  739.           KL-ONE family
  740.    CLASSIC -- Contact: dlm@research.att.com
  741.           KL-ONE family
  742.    MOTEL   -- Contact: hustadt@mpi-sb.mpg.de
  743.           Modal KL-ONE (contains KRIS as a kernel). 
  744.           Implemented in Prolog.
  745.  
  746.    FOL GETFOL -- Contact: fausto@irst.it
  747.           Weyrauch's FOL system
  748.  
  749.    SNePS   -- Contact: shapiro@cs.buffalo.edu 
  750.           Semantic Nets
  751.  
  752.    COLAB/RELFUN     -- Contact: boley@informatik.uni-kl.de
  753.             Logic Programming
  754.    COLAB/FORWARD -- Contact: hinkelma@dfki.uni-kl.de
  755.             Logic Programming
  756.    COLAB/CONTAX     -- Contact: meyer@dfki.uni-kl.de
  757.             Constraint System for Weighted Constraints over
  758.             Hierarchically Structured Finite Domains.
  759.    COLAB/TAXON     -- Contact: hanschke@dfki.uni-kl.de
  760.             Terminological Knowl. Rep. w/Concrete Domains
  761.  
  762. Machine Learning:
  763.  
  764.    COBWEB/3 -- Contact: cobweb@ptolemy.arc.nasa.gov
  765.  
  766.    FOIL        -- ftp.cs.su.oz.au:pub/{foil4.sh,foil5.sh} [129.78.8.208] 
  767.            Each shell archive contains source, a brief manual,
  768.            and several sample datasets. FOIL2 should be available
  769.            from sumex-aim.stanford.edu:/pub/FOIL.sh.
  770.  
  771.    RWM        -- Contact: H. Altay Guvenir <guvenir@trbilun.bitnet>
  772.            RWM is a program for learning problem solving strategies,
  773.            written in Common Lisp (tested on Suns and NeXT).
  774.  
  775.    IND        -- Contact: NASA COSMIC, <service@cossack.cosmic.uga.edu>
  776.            Tel: 706-542-3265 (ask for customer support)
  777.            Fax: 706-542-4807
  778.            IND is a C program for the creation and manipulation of
  779.            decision trees from data, integrating the CART,
  780.            ID3/C4.5, Buntine's smoothing and option trees, Wallace
  781.            and Patrick's MML method, and Oliver and Wallace's MML
  782.            decision graphs which extend the tree representation to
  783.            graphs. Written by Wray Buntine, <wray@kronos.arc.nasa.gov>.
  784.  
  785. Mathematics:
  786.  
  787.    SymbMath is a "symbolic calculator that can solve symbolic math
  788.    problems" written by Weiguang Huang <w.huang@unsw.edu.au>. It runs on
  789.    IBM PCs (8086) under MS-DOS. Shareware versions are available by
  790.    anonymous ftp from wsmr-simtel20.army.mil:/calculator/sm22a.zip or
  791.    rana.cc.deakin.oz.au:/huang/sm22a.zip or by e-mail from
  792.    listserv@vm1.nodak.edu (listserv@ndsuvm1.bitnet).
  793.  
  794. Medical Reasoning:
  795.  
  796.    TMYCIN -- sumex-aix.stanford.edu:/tmycin  
  797.  
  798. Natural Language Processing:
  799.  
  800.    YACC         -- ftp.cs.cmu.edu:
  801.         /afs/cs/user/mkant/Public/Lisp/johnson-yacc.lisp
  802.         Contact: Mark Johnson <mj@cs.brown.edu>
  803.         Lisp YACC/Parser.
  804.  
  805.    BABBLER   -- Contact: rsf1@ra.msstate.edu
  806.         Markov chains/NLP
  807.  
  808.    PENMAN    -- Contact: hovy@isi.edu
  809.         Natural Language Generation.
  810.  
  811.    PC-KIMMO  -- msdos.archive.umich.edu:/msdos/linguistics/pckim105.zip
  812.         An implementation of KIMMO morphological analyzer
  813.         for the IBM PC. 
  814.  
  815.    FUF         -- Contact: elhadad@bengus.bgu.ac.il
  816.            cs.columbia.edu: or
  817.           ftp: black.bgu.ac.il:/pub/fuf/fuf5.2.tar.Z
  818.                         surge.tar.Z
  819.           Natural language generation system based on
  820.           Functional Unification Grammars.
  821.           Includes unifier, large grammar of English (surge)
  822.           user manual and many examples.  Written in Common Lisp.
  823.  
  824.    InterBASE -- Contact: Sergei Kuchin <kuchin@darmstadt.gmd.de>
  825.         ftp: files interbas.exe, interba1.exe, interbas.txt on
  826.             sics.se:/pub/packet-incoming
  827.             ftp.uu.net:/tmp
  828.             clr.nmsu.edu:/incoming
  829.             debra.dgbt.doc.ca:/pub/incoming
  830.         Natural language database front end
  831.  
  832.    RegEx    -- csd4.csd.uwm.edu:/pub/regex/
  833.            Translates regular expressions to DFAs. Written in C.
  834.            Mark Hopkins <markh@csd4.csd.uwm.edu>
  835.  
  836.    Tom        -- csd4.csd.uwm.edu:/pub/regex/tomita/
  837.            C implementation of the Tomita parsing algorithm
  838.            Mark Hopkins <markh@csd4.csd.uwm.edu>
  839.  
  840.    Common Lisp versions of the miniature natural language understanding
  841.    programs from "Inside Computer Understanding" by Schank and Riesbeck,
  842.    1981, are available by anonymous ftp from cs.umd.edu in the directory
  843.    pub/schank/icu. This includes the SAM and ELI miniatures. It will
  844.    eventually include copies of the miniature versions of PAM, POLITICS,
  845.    and Tale-Spin. The FOR macro is also available in this directory, as
  846.    are a set of functions for manipulating and matching lisp
  847.    representations of Conceptual Dependency formulas.  Contact Bill
  848.    Andersen <waander@cs.umd.edu> for more information.
  849.  
  850.    The Link Parser is a highly efficient English parser written by Danny
  851.    Sleator and Davy Temperley. It uses a novel grammatical formalism known
  852.    as Link Grammar to represent a robust and diverse collection of
  853.    English-language phenomena. The system is available by anonymous ftp from
  854.    spade.pc.cs.cmu.edu in the directory /usr/sleator/public/. Read the
  855.    README file for more information.
  856.  
  857.    The Xerox part-of-speech tagger is available by anonymous ftp from
  858.    parcftp.xerox.com:pub/tagger/tagger-1-0.tar.Z. It is implemented in
  859.    Common Lisp and has been tested in Allegro CL 4.1, CMU CL 16e, and
  860.    Macintosh CL 2.0p2. For more information, contact the authors, Doug
  861.    Cutting <cutting@parc.xerox.com>, and Jan Pedersen
  862.    <pedersen@parc.xerox.com>.
  863.  
  864.    The Prolog and DCG programs from Pereira and Shieber's book, "Prolog
  865.    and Natural Language Analysis", are available by anonymous ftp from
  866.    das.harvard.edu:pub/shieber/pnla/. See the file README for the
  867.    conditions under which the material is distributed. If you retrieve
  868.    the files, please send an email message to the authors letting them
  869.    know how you plan to use them. For further information, write to
  870.    Fernando Pereira <pereira@research.att.com> or Stuart Shieber
  871.    <shieber@das.harvard.edu>.
  872.  
  873. Neural Networks:
  874.  
  875.    Aspirin/MIGRAINES is a neural network simulator available free from the
  876.    MITRE Corporation. It contains a neural network simulation code generator
  877.    which generates high performance C code implementations for
  878.    backpropagation networks. It runs on the following platforms: Apollo,
  879.    Convex, Cray, DecStation, HP, IBM RS/6000, Intel 486/386 (Unix System V),
  880.    NeXT, News, Silicon Graphics Iris, Sun3, Sun4, Mercury i860 (40MHz)
  881.    Coprocessors, Meiko Computing Surface w/i860 (40MHz) Nodes, Skystation
  882.    i860 (40MHz) Coprocessors, and iWarp Cells. The software is available by
  883.    anonymous ftp from the CMU simulator collection on pt.cs.cmu.edu
  884.    (128.2.254.155) in the directory /afs/cs/project/connect/code (you must
  885.    cd to this directory in one atomic operation) and UCLA's cognitive
  886.    science collection on ftp.cognet.ucla.edu (128.97.50.3) in the
  887.    directory alexis as the file am6.tar.Z. They include many
  888.    examples in the release, include an implementation of NETtalk.
  889.    For more information, contact Russell Leighton <leighton@mitre.org>.
  890.  
  891.    MUME (Multi-Module Neural Computing Environment) is a simulation
  892.    environment for multi-modules neural computing. It provides an object
  893.    oriented facility for the simulation and training of multiple nets
  894.    with various architectures and learning algorithms.    The object
  895.    oriented structure makes simple the addition of new network classes
  896.    and new learning algorithms. _ MUME includes a library of network
  897.    architectures including feedforward, simple recurrent, and
  898.    continuously running recurrent neural networks.  Each architecture is
  899.    supported by a variety of learning algorithms, including backprop,
  900.    weight perturbation, node perturbation, and simulated annealing.  MUME
  901.    can be used for large scale neural network simulations as it provides
  902.    support for learning in multi-net environments. It also provide pre-
  903.    and post-processing facilities.  MUME can be used to include
  904.    non-neural computing modules (decision trees, etc.) in applications. _
  905.    MUME is being developed at the Machine Intelligence Group at Sydney
  906.    University Electrical Engineering. The software is written in 'C' and
  907.    is being used on Sun and DEC workstations. Efforts are underway to
  908.    port it to the Fujitsu VP2200 vector processor using the VCC
  909.    vectorising C compiler, HP 9000/700, SGI workstations, DEC
  910.    Alphas, and PC DOS (with DJGCC). MUME is available to research
  911.    institutions on a media/doc/postage cost arrangement after
  912.    signing a license agreement. The license agreement is available by
  913.    anonymous ftp from 129.78.13.39:/pub/license.ps. An overview of mume
  914.    is available from the same machine as /pub/mume-overview.ps.Z. It is
  915.    also available free for MSDOS by anonymous ftp from
  916.       brutus.ee.su.oz.au:/pub/MUME-0.5-DOS.zip 
  917.    For further information, write to Marwan Jabri, SEDAL, Sydney
  918.    University Electrical Engineering, NSW 2006 Australia, 
  919.    call +61-2-692-2240, fax +61-2-660-1228, or send email to
  920.    Marwan Jabri <marwan@sedal.su.oz.au>. To be added to the mailing
  921.    list, send email to mume-request@sedal.su.oz.au.
  922.  
  923.    Adaptive Logic Network (ALN) 
  924.    The atree adapative logic network simulation package is available by
  925.    anonymous ftp from ftp.cs.ualberta.ca [129.128.4.241] in
  926.    pub/atree/atree2.tar.Z (Unix). The MS-Windows 3.x version for the IBM PC
  927.    is available as either pub/atree/atre27.exe (includes C/C++ sources)
  928.    or pub/atree/a27exe.exe (just the executables).  The PC version has
  929.    a lot more documentation than the Unix version. The Unix version has
  930.    been ported to the Macintosh, Amiga, and other machines.
  931.    Documentation is in pub/atree/atree2.ps.Z. Also in this directory is a
  932.    rather impressive OCR demo using atree. To be added to the mailing
  933.    list, send email to alnl-request@cs.ualberta.ca. For more information,
  934.    contact William W. Armstrong, <arms@cs.ualberta.ca>.
  935.  
  936.    BPS
  937.    Neural network simulator. Other files of interest. Executables are
  938.    free; source code for a small fee.
  939.    gmuvax2.gmu.edu:/pub/nn
  940.  
  941.    NeuralShell
  942.    Availible by anonymous ftp from quanta.eng.ohio-state.edu [128.146.35.1]
  943.    in the directory pub/NeuralShell/ as the file NeuralShell.tar.
  944.  
  945.    CONDELA
  946.    A neural network definition language.
  947.    tut.cis.ohio-state.edu:/pub/condela
  948.  
  949.    ROCHESTER CONNECTIONIST SIMULATOR
  950.    Available from cs.rochester.edu:pub/simulator [192.5.53.209].
  951.    Includes a backprop package and an X11/SunView interface.
  952.  
  953.    UCLA-SFINX
  954.    retina.cs.ucla.edu:pub/sfinx_v2.0.tar.Z [131.179.16.6]
  955.    Username sfinxftp, password joshua. Contact sfinx@retina.cs.ucla.edu
  956.    for more information.
  957.  
  958.    XERION
  959.    A neural network simulator from Drew van Camp at the University
  960.    of Toronto. It provides a library of routines for building networks
  961.    and graphically displaying them. Written in C and uses the X window
  962.    system for graphics. Example simulators include Back Propagation,
  963.    Recurrent Back Propagation, Boltzmann Machine, Mean Field Theory, Free
  964.    Energy Manipulation, Kohonnen Net, and Hard and Soft Competitive
  965.    Learning. Xerion runs on SGI Personal Iris, SGI 4d, Sun3 (SunOS), Sun4
  966.    (SunOS). Available by anonymous ftp from ai.toronto.edu:/pub/xerion.
  967.    See the file /pub/xerion.README for more information. To be added to
  968.    the mailing list, send mail to xerion-request@ai.toronto.edu. Bugs
  969.    should be reported to xerion-bugs@ai.toronto.edu. Complaints,
  970.    suggestions or comments may be sent to xerion@ai.toronto.edu.
  971.  
  972.    SNNS (Stuttgart Neural Network Simulator) is a software simulator for
  973.    neural networks on Unix workstations developed at the Institute for
  974.    Parallel and Distributed High Performance Systems (IPVR) at the
  975.    University of Stuttgart. The SNNS simulator contains a simultor kernel
  976.    written in ANSI C and a 2D/3D graphical user interface running under
  977.    X11R4/X11R5. It runs under Sun Sparc (SLC, ELC, SS2, GX, GS), DECstation
  978.    (2100, 3100, 5000/200), IBM RS 6000, HP 9000, and IBM-PC (386/486). SNNS
  979.    includes the following learning procedures: backpropagation (online,
  980.    batch, with momentum and flat spot elimin., time delay),
  981.    counterpropagation, quickprop, backpercolation 1, and generalized radial
  982.    basis functions (RBF), RProp, recurrent ART1, ART2 and ARTMAP, Cascade
  983.    Correlation and Recurrent Cascade Correlation, Dynamic LVQ, and Time
  984.    delay networks (TDNN). (Elman networks and some other network paradigms
  985.    have already been implemented but are scheduled for a later release.)
  986.    The SNNS simulator can be obtained via anonymous ftp from
  987.    ftp.informatik.uni-stuttgart.de:/pub/SNNS/SNNSv2.1.tar.Z [129.69.211.2].
  988.    The PostScript version of the user manual can be obtained as file
  989.    SNNSv2.1.Manual.ps.Z.  To be added to the mailing list, send a message
  990.    to listserv@informatik.uni-stuttgart.de with "subscribe snns <Your Full
  991.    Name>" in the message body. Submissions may be sent to
  992.    snns@informatik.uni-stuttgart.de. For further information, contact
  993.    Andreas Zell, <zell@informatik.uni-stuttgart.de>.
  994.  
  995.    NEOCOGNITRON SIMULATOR
  996.    The Neocognitron Simulator is written in C and is available by
  997.    anonymous ftp from 
  998.       tamsun.tamu.edu:/pub/neocognitron.Z.tar [128.194.15.32] 
  999.       unix.hensa.ac.uk:/pub/uunet/pub/ai/neural/neocognitron.tar.Z
  1000.      [129.12.21.7]     
  1001.  
  1002.    PLANET (aka SunNet)
  1003.    Simulator that runs under X Windows. Written by Yoshiro Miyata
  1004.    <miyata@sccs.chukyo-u.ac.jp> of Chukyo University, Japan.
  1005.    Available by anonymous ftp from 
  1006.     tutserver.tut.ac.jp:pub/misc/PlaNet5.7.tar.Z  [133.15.240.3]
  1007.     boulder.colorado.edu:pub/generic-sources/PlaNet5.7.tar.Z [128.138.240.1]
  1008.    Includes documentation. 
  1009.  
  1010.    LVQ_PAK and SOM_PAK
  1011.    LVQ_PAK (Learning Vector Quantization) and SOM_PAK (Self-Organizing Maps)
  1012.    were written by the LVQ/SOM Programming Team of the Helsinki
  1013.    University of Technology, Laboratory of Computer and Information
  1014.    Science, Rakentajanaukio 2 C, SF-02150 Espoo, FINLAND. The PAKs
  1015.    run in Unix and MS-DOS systems. Available by anonymous ftp from
  1016.    cochlea.hut.fi [130.233.168.48] in the directories /pub/lvq_pak/
  1017.    and /pub/som_pak/.
  1018.  
  1019.    MACTIVATION
  1020.    bruno.cs.colorado.edu:/pub/cs/misc/     [128.138.243.151]
  1021.    as the file Mactivation-3.3.sea.hqx.         
  1022.  
  1023.    DartNet
  1024.    A Macintosh-based Neural Network Simulator with a nice graphical
  1025.    interface. Available by anonymous ftp from
  1026.       dartvax.dartmouth.edu:/pub/mac/dartnet.sit.hqx [129.170.16.4] 
  1027.    or by email from bharucha@dartmouth.edu.  New network architectures
  1028.    and learning algorithms can be added to the system by writing small
  1029.    XCMD-like CODE resources called nDEF's ("Network Definitions").  For
  1030.    more information, send email to Sean P. Nolan,
  1031.    <sean@coos.dartmouth.edu>.
  1032.  
  1033.    NevProp is a C implementation of general purpose backpropagation
  1034.    software, based on Quickprop 1.0 by Scott Fahlman, as translated from
  1035.    Common Lisp into C by Terry Regier. It runs on Unix, Macintosh, and
  1036.    DOS. The quickprop algorithm itself has not changed substantially, but
  1037.    it now includes options to force gradient descent (per-epoch or
  1038.    per-pattern), generalization & stopped training, c index, and interface 
  1039.    enhancements. It is available by anonymous ftp from unssun.scs.unr.edu
  1040.    [134.197.10.128] pub/goodman/nevpropdir/ as the file npxxx.shar
  1041.    (replace xxx with the version number) or from the CMU Simulator Collection.
  1042.    For further information, contact Phil Goodman <goodman@unr.edu>.
  1043.  
  1044. Probabilistic Reasoning:
  1045.  
  1046.    BELIEF   -- ftp.stat.washington.edu (128.95.17.34)
  1047.            Contact: Russell Almond <almond@stat.washington.edu>
  1048.                        <almond@statsci.com>
  1049.  
  1050.    IDEAL    -- Contact: srinivas@rpal.rockwell.com
  1051.            Bayesian networks
  1052.  
  1053. Planning:
  1054.  
  1055.    NONLIN   -- cs.umd.edu:/pub/nonlin (128.8.128.8)
  1056.            Contact: nonlin-users-request@cs.umd.edu
  1057.             nonlin-bugs@cs.umd.edu
  1058.  
  1059.    ABTWEAK  -- jupiter.drev.dnd.ca:pub/steve/Abtweak   
  1060.            Contact: Steven Woods <woods@drev.dnd.ca>
  1061.  
  1062.    RHETORICAL -- cs.rochester.edu:/pub/knowledge-tools
  1063.            Contact: Brad Miller <miller@cs.rochester.edu>
  1064.  
  1065.    SNLP        -- cs.washington.edu:/pub/snlp.tar.Z
  1066.            Contact: weld@cs.washington.edu
  1067.            Nonlinear planner.
  1068.  
  1069.    IDM        -- sauquoit.gsfc.nasa.gov (128.183.101.29)
  1070.            Contact: idm-users@chelmsford.gsfc.nasa.gov
  1071.            STRIPS-like planning.
  1072.  
  1073.    PRODIGY  -- Contact: prodigy@cs.cmu.edu
  1074.            Integrated Planning and Learning System
  1075.  
  1076.    SOAR        -- ftp.cs.cmu.edu:/afs/cs.cmu.edu/project/soar/5.2/2/public/
  1077.            Contact: soar-request@cs.cmu.edu
  1078.            Integrated Agent Architecture
  1079.  
  1080.    MATS        -- Contact: kautz@research.att.com
  1081.            Temporal constraints
  1082.  
  1083. Qualitative Reasoning/Qualitative Physics:
  1084.  
  1085.    QSIM        -- cs.utexas.edu:/pub/qsim
  1086.            Contact: Ben Kuipers <kuipers@cs.utexas.edu>
  1087.  
  1088.    QPE        -- multivac.ils.nwu.edu:pub/QPE
  1089.            contact: Prof. Kenneth D. Forbus <forbus@ils.nwu.edu>
  1090.            Qualitative Process Engine (an implementation of QP theory)
  1091.  
  1092. Robotics (Planning Testbeds and Simulators):
  1093.  
  1094.    TILEWORLD -- cs.washington.edu:new-tileworld.tar.Z
  1095.            Planning testbed
  1096.  
  1097.    The ARS MAGNA abstract robot simular provides an abstract world in
  1098.    which a planner controls a mobile robot. This abstract world is more
  1099.    realistic than typical blocks worlds, in which micro-world simplifying
  1100.    assumptions do not hold. Experiments may be controlled by varying
  1101.    global world parameters, such as perceptual noise, as well as building
  1102.    specific environments in order to exercise particular planner
  1103.    features. The world is also extensible to allow new experimental
  1104.    designs that were not thought of originally. The simulator also
  1105.    includes a simple graphical user-interface which uses the CLX
  1106.    interface to the X window system. ARS MAGNA can be obtained by
  1107.    anonymous ftp from ftp.cs.yale.edu, as ars-magna.tar.Z in the pub/nisp
  1108.    directory. Installation instructions are in the file
  1109.    Installation.readme. The simulator is written in Nisp, a macro-package
  1110.    for Common Lisp. Nisp can be retrieved in the same way as the
  1111.    simulator. Version 1.0 of the ARS MAGNA simulator is documented in
  1112.    Yale Technical Report YALEU/DCS/RR #928, "ARS MAGNA: The Abstract
  1113.    Robot Simulator". This report is available in the distribution as a
  1114.    PostScript file. Comments should be directed to Sean Philip
  1115.    Engelson <engelson@cs.yale.edu>.
  1116.  
  1117.    Simderella is a robot simulator consisting of three programs: CONNEL
  1118.    (the controller), SIMMEL (the robot simulator), and BEMMEL (the
  1119.    X-windows oriented graphics back-end). SIMMEL performs a few matrix
  1120.    multiplications, based on the Denavit Hartenberg method, calculates
  1121.    velocities with the Newton-Euler scheme, and communicates with the
  1122.    other two programs.    BEMMEL only displays the robot.     CONNEL is the
  1123.    controller, which must be designed by the user (in the distributed
  1124.    version, CONNEL is a simple inverse kinematics routine.)  The programs
  1125.    use Unix sockets for communication, so you must have sockets, but you
  1126.    can run the programs on different machines.    The software is available
  1127.    by anonymous ftp from
  1128.       galba.mbfys.kun.nl:pub/neuro-software/pd/ [131.174.82.73]
  1129.    as the file simderella.1.0.tar.Z The software has been compiled using
  1130.    gcc on SunOS running under X11R4/5 on Sun3, Sun4, Sun Sparc 1, 2, and
  1131.    10, and Silicon Graphics architectures. For more information,
  1132.    send email to Patrick van der Smagt, <smagt@fwi.uva.nl>.
  1133.  
  1134.    The Michigan Intelligent Coordination Experiment (MICE) testbed is a
  1135.    tool for experimenting with coordination between intelligent systems
  1136.    under a variety of conditions.  MICE simulates a two-dimensional
  1137.    grid-world in which agents may move, communicate, and affect their
  1138.    environment.     MICE is essentially a discrete-event simulator that
  1139.    helps control the domain and a graphical representation, but provides
  1140.    relatively few constraints on the form of the domain and the agents'
  1141.    abilities.  Users may specify the time required by various activities,
  1142.    the constraints on an agents' sensors, the configuration of the domain
  1143.    and its properties, etc.  MICE runs under XWindows on Un*x boxes, on
  1144.    Macs, and on TI Explorers, with relatively consistent graphical
  1145.    displays.  Source code, documentation, and examples are available via
  1146.    anonymous ftp to ftp.eecs.umich.edu:Mice/Mice.tar.Z.     MICE was
  1147.    produced by the University of Michigan's Distributed Intelligent Agent
  1148.    Group (UM DIAG).  For further information, write to
  1149.    umdiagmice@caen.engin.umich.edu.
  1150.  
  1151. Simulated Annealing:
  1152.  
  1153.    VFSR (Very Fast Simulated Reannealing) is a powerful global optimization
  1154.    C-code algorithm especially useful for nonlinear and/or stochastic
  1155.    systems. Most current copies usually can be obtained by anonymous ftp
  1156.    from ftp.uu.net:tmp/vfsr.Z.
  1157.    Older versions can be found in the Netlib archive (research.att.com:opt/,
  1158.    logging in as netlib), the Statlib archive (lib.stat.cmu.edu, logging in
  1159.    as statlib), the UMIACS archive (ftp.umiacs.umd.edu:pub/ingber), and the
  1160.    UTSA archive (ringer.cs.utsa.edu:/pub/rosen).  The authors have
  1161.    (p)reprints related to VFSR in their archives: Lester Ingber has a review
  1162.    article, sarev.ps.Z, in the UMIACS archive (and on uunet in /tmp), and
  1163.    Bruce Rosen has a comparison study, "Function Optimization based on
  1164.    Advanced Simulated Annealing", which is available in the UTSA archive as
  1165.    the file rosen.advsim.ps.Z. Copies of the code are also available
  1166.    by email from the author, Lester Ingber <ingber@alumni.caltech.edu>.
  1167.  
  1168.    Adaptive Simulated Annealing (ASA) is available by anonymous ftp from
  1169.    ftp.caltech.edu:pub/ingber [131.215.48.151].
  1170.  
  1171. Speech:
  1172.  
  1173.    RECNET is a complete speech recognition system for the DARPA TIMIT and
  1174.    Resource Management tasks.  It uses recurrent networks to estimate phone
  1175.    probabilities and Markov models to find the most probable sequence of
  1176.    phones or words.  The system is a snapshot of evolving research code.
  1177.    There is no documentation other than published research papers.  It is
  1178.    configured for the two specific databases and is unlikely to be of use as
  1179.    a complete system for other tasks. It is available by anonymous ftp from
  1180.    svr-ftp.eng.cam.ac.uk:misc/recnet-1.0.tar. Related publications can be
  1181.    found in svr-ftp.eng.cam.ac.uk:reports/ (see the ABSTRACT file first).
  1182.    You will need the relevant CDROMs, 150MByte of free space for TIMIT and
  1183.    300MByte for RM. If you use the code, the author would appreciate an
  1184.    email message so that he can keep you informed of new releases. Write to
  1185.    Tony Robinson, <ajr@eng.cam.ac.uk>, for more information.
  1186.  
  1187. Theorem Proving/Automated Reasoning:
  1188.  
  1189.    Otter     -- info.mcs.anl.gov:pub/Otter/Otter-2.2/otter22.tar.Z
  1190.             anagram.mcs.anl.gov:pub/Otter/
  1191.             Contact: otter@mcs.anl.gov
  1192.             Resolution-based theorem prover.
  1193.  
  1194.    ATP Problems     -- anagram.mcs.anl.gov:pub/ATP_Problems/*
  1195.             Collection of ATP problems from Otter, CADE, and JAR.
  1196.             The problems include algebra, analysis, circuits,
  1197.             geometry, logic problems, Pelletier's problem set,
  1198.             program verification, puzzles, set theory, and topology.
  1199.  
  1200.    SETHEO     -- flop.informatik.tu-muenchen.de:pub/fki/ [131.159.8.35]
  1201.             Get the files setheo.info and setheo.tar.Z.
  1202.             SETHEO (SEquential THEOrem prover) is an automated
  1203.             theorem prover for formulae of predicate logic. 
  1204.             SETHEO is based on the calculus of ``connection
  1205.             tableaux''. SETHEO runs on Sun SPARCs only.     
  1206.             Contact: setheo@informatik.tu-muenchen.de
  1207.  
  1208.    Isabelle -- ftp.cl.cam.ac.uk:ml/ [128.232.0.56]
  1209.            ftp.informatik.tu-muenchen.de:lehrstuhl/nipkow/
  1210.           [131.159.0.110] 
  1211.            Relevant files include:
  1212.          intro.dvi.Z   "Introduction to Isabelle"
  1213.          ref.dvi.Z     "The Isabelle Reference Manual"
  1214.          logics.dvi.Z  "Isabelle's Object-Logics"
  1215.          92.tar.Z      Isabelle-92 distribution directory
  1216.            Written in Standard ML, and comes with 8 different
  1217.            logics, including LCF, some modal logics, first-order
  1218.            logic, Zermelo-Fraenkel set theory, and higher-order logic.
  1219.            Contact: Larry.Paulson@cl.cam.ac.uk
  1220.             Tobias.Nipkow@informatik.tu-muenchen.de
  1221.  
  1222.    MVL        -- t.stanford.edu:/mvl/mvl.tar.Z
  1223.            Contact: ginsberg@t.stanford.edu
  1224.            Multi-valued logics
  1225.  
  1226.    Boyer-Moore -- ftp.cli.com:pub/nqthm/nqthm.tar.Z
  1227.           rascal.ics.utexas.edu:/pub/nqthm   128.83.138.20
  1228.           Contact: kaufmann@cli.com
  1229.  
  1230.    DTP         -- meta.stanford.edu:/pub/dtp/   [36.8.0.54]
  1231.         Contact: Don Geddis <geddis@cs.stanford.edu>
  1232.         Domain-independent search control of inference. Runs in
  1233.         Allegro and Lucid Common Lisp.
  1234.  
  1235.    RRL         -- herky.cs.uiowa.edu:public/rrl [128.255.28.100]
  1236.         Rewrite Rule Laboratory
  1237.  
  1238.    FRAPPS (Framework for Resolution-based Automated Proof Procedures) is
  1239.    a portable resolution theorem-prover written in Common Lisp. It is
  1240.    available via anonymous ftp from a.cs.uiuc.edu:/pub/frapps [128.174.252.1].
  1241.    If you take a copy of FRAPPS, please send a short note to Prof.
  1242.    Alan M. Frisch <frisch@cs.uiuc.edu>.
  1243.  
  1244.    XPNet (X Proof Net) is a graphical interface to proof nets with an
  1245.    efficient proof checker. It is available by anonymous ftp to
  1246.    ftp.cis.upenn.edu:/pub/xpnet.tar.Z [130.91.6.8]. For further
  1247.    information, write to Jawahar Chirimar <chirimar@saul.cis.upenn.edu>, 
  1248.    Carl A. Gunter <gunter@saul.cis.upenn.edu>, or Myra VanInwegen
  1249.    <myra@saul.cis.upenn.edu>.
  1250.  
  1251.    Gazer is a sequent calculus based system for first order logic with a
  1252.    novel inference rule, gazing, that enables the system to determine
  1253.    which of a possibly large number of definitions and lemmas should be
  1254.    used at any point in a proof. Available from the authors, Dave
  1255.    Barker-Plummer <plummer@cs.swarthmore.edu> and Alex Rothenberg
  1256.    <alex@cs.swarthmore.edu>. 
  1257.  
  1258. Truth Maintenance:
  1259.  
  1260.    The truth maintenance system and problem solver implementations
  1261.    described in the book "Building Problem Solvers" by Ken Forbus and
  1262.    Johan de Kleer are available by anonymous ftp from
  1263.    parcftp.xerox.com:/ftp/pub/bps/. For more information send mail to
  1264.    Johan de Kleer <deKleer@parc.xerox.com>.
  1265.  
  1266. Miscellaneous:
  1267.  
  1268.    University of Toronto:
  1269.       ftp   -- ftp.cs.toronto.edu:/pub/ailist
  1270.  
  1271.       Archives of ailist mailing list, defunct as of January 19, 1990
  1272.  
  1273.    PAIL (Portable AI Lab)
  1274.       ftp   -- pobox.cscs.ch:/pub/ai/pail-2.2/    [148.187.10.13]
  1275.       contact: Mike Rosner and Dean Allemang {dean,mike}@idsia.ch
  1276.            pail-info@idsia.ch
  1277.  
  1278. CD-ROMS:
  1279.  
  1280.    The Artificial Intelligence CD-ROM (Volume One, 1992) is available
  1281.    from Network Cybernetics Corporation for $129.00 per copy (plus $5
  1282.    shipping domestic, $10 shipping international). The AI CD-ROM is an
  1283.    ISO-9660 format disk usable on any computer system, and contain a
  1284.    variety of public domain, shareware, and other software of special
  1285.    interest to the AI community. The disk contains source code,
  1286.    executable programs, demonstration versions of commercial programs,
  1287.    tutorials and other files for a variety of operating systems. Among
  1288.    the supported operating systems are MS-DOS, OS/2, Mac, Amiga, and
  1289.    Unix. Among the items included are CLIPS v5.1 and NETS, courtesy of
  1290.    COSMIC, the collected source code from AIExpert magazine from the
  1291.    premier issue in June of 1986 to the present, and complete
  1292.    transcriptions of the first annual Loebner Prize competition, which
  1293.    took place at the Boston Computer Museum. It also includes examples
  1294.    many different kinds of neural networks, genetic algorithms,
  1295.    artificial life simulators, natural language software, public domain
  1296.    and shareware compilers for a wide range of languages such as Lisp,
  1297.    Xlisp, Scheme, XScheme, Smalltalk, Prolog, ICON, SNOBOL, and many
  1298.    others. Complete collections of the Neural Digest, Genetic Algorithms
  1299.    Digest, and Vision List Digest are included. Network Cybernetics
  1300.    Corporation intends to release annual revisions to the AI CD-ROM to
  1301.    keep it up to date with current developments in the field. For more
  1302.    information, write to Network Cybernetics Corporation, 4201 Wingren
  1303.    Road, Suite 202, Irving, Texas 75062-2763, call 214-650-2002, fax
  1304.    214-650-1929, or send email to ai-cdrom@ncc.com or
  1305.    steve.rainwater@ncc.com (Steve Rainwater).
  1306.  
  1307.    PTF is a semi-annual CD-ROM collection of UNIX-related freeware source
  1308.    code and documentation. PTF in no way modifies the legal restrictions
  1309.    on any package it includes. Each issue consists of two ISO-9660
  1310.    CD-ROMs, bound into a 50+ page booklet. PTF is particularly useful for
  1311.    programmers who do not have FTP access, but may also be useful as a
  1312.    way of saving disk space and avoiding annoying FTP searches and
  1313.    retrievals. The current issue (2-1; January, 1993) includes, among
  1314.    other things, ICOT collection and several varieties of Lisp and other
  1315.    AI languages. It sells (list) for $60 US plus applicable sales tax and
  1316.    shipping and handling charges. SUG and USENIX members may purchase the
  1317.    issue for $50. Payable through Visa, Mastercard, postal money orders
  1318.    in US funds, and checks in US funds drawn on a US bank. For more
  1319.    information write to Prime Time Freeware, 370 Altair Way, Suite 150,
  1320.    Sunnyvale, CA 94086 call 408-433-9662, fax 408-432-6149, or send email
  1321.    to ptf@cfcl.com.
  1322. ----------------------------------------------------------------
  1323. ;;; *EOF*
  1324.